<?php

while (
	doSomething('short')
) {

}
